Logic programming

Results: 2694



#Item
571

Exercises for the Course Logic Programming Engineering (Author Dr. W. Nauber) Dr. Paola Bruscoli, Peter Steinke, Amin Timany Practical 11

Add to Reading List

Source URL: www.cs.bath.ac.uk

Language: English - Date: 2012-01-11 10:47:38
    572

    Exercise 3 Foundations of Logic Programming Dr. Paola Bruscoli, Amin Timany International Master in Computational Logic – winter term

    Add to Reading List

    Source URL: www.cs.bath.ac.uk

    Language: English - Date: 2012-01-04 14:11:21
      573

      (ProcInt’l. Conf. on Logic Programming, MIT Press) Complete and Efficient Methods for Supporting Side-effects in Independent/Restricted And-parallelism K. Muthukumar

      Add to Reading List

      Source URL: clip.dia.fi.upm.es

      Language: English - Date: 2004-11-09 09:11:17
        574

        Theory and Practice of Logic Programming http://journals.cambridge.org/TLP Additional services for Theory and Practice of Logic

        Add to Reading List

        Source URL: clip.dia.fi.upm.es

        Language: English - Date: 2015-01-06 02:54:25
          575

          Exercise 1 Foundations of Constraint Programming Dr. Paola Bruscoli, Amin Timany International Master in Computational Logic – winter term

          Add to Reading List

          Source URL: www.cs.bath.ac.uk

          Language: English - Date: 2012-01-04 14:09:54
            576

            Exercises for the Course Logic Programming Engineering (Author Dr. W. Nauber) Dr P. Bruscoli, Peter Steinke, Amin Timany Practical Session 10

            Add to Reading List

            Source URL: www.cs.bath.ac.uk

            Language: English - Date: 2012-01-04 14:13:34
              577

              [16] H. Schmidt, W. Kiessling, U. Guntzer and R. Bayer, \Compiling Exploratory and Goal-Directed Deduction into Sloppy Delta-Iterations", Proceedings of Symposium on Logic Programming, San Francisco, pp. 234{).

              Add to Reading List

              Source URL: seit.unsw.adfa.edu.au

              Language: English - Date: 2007-01-17 20:55:46
                578

                Online appendix for the paper Relative Expressiveness of Defeasible Logics published in Theory and Practice of Logic Programming Michael J. Maher School of Engineering and Information Technology

                Add to Reading List

                Source URL: seit.unsw.adfa.edu.au

                Language: English - Date: 2013-01-21 00:46:12
                  579

                  Under consideration for publication in Theory and Practice of Logic Programming 1 Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling

                  Add to Reading List

                  Source URL: clip.dia.fi.upm.es

                  Language: English - Date: 2010-09-30 10:46:34
                    580

                    Exercises for the Course Logic Programming Engineering (Author Dr. W. Nauber) Dr P. Bruscoli, Peter Steinke, Amin Timany Practical Session 8

                    Add to Reading List

                    Source URL: www.cs.bath.ac.uk

                    Language: English - Date: 2012-01-04 14:17:10
                      UPDATE